<?php

if(!is_null($timer))
{
	$timer->addTimer('End');
	echo '<pre class="debug">'.$timer.'</pre>';
}

exit;

